Driving stories, benefits of properties analysis

Emergent narrative means that it is the player that unfolds the narrative and then creates its own story. But game should control the drama in order to modify the player emotion through the game by enabling or disabling actions. In the framework of an adaptative system that manages player actions, this paper defines a formal model for interactive narration based on Linear Logic. We introduce a new kind of properties of a narration. The verification of those properties allows ensuring the quality of a game scenario. They concern the design of games as well as game execution. For each property prospects for validation are discussed.